$\forall$${\it es}$:ES, $e$:E. (discrete state when $e$) $\in$ discrete state@loc($e$)